Static Validation of Dynamically Generated HTML

Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing

Abstract parsing is a static-analysis technique for a program that, given a reference LR(k) context-free grammar, statically checks whether or not every dynamically generated string output by the program conforms to the grammar. The technique operates by applying an LR(k) parser for the reference language to data-flow equations extracted from the program, immediately parsing all the possible st...

Dynamically generated resonances

In this talk I report on recent work related to the dynamical generation of baryonic resonances, some made up from pseudoscalar meson-baryon, others from vector meson-baryon and a third type from two meson-one baryon systems. We can establish a correspondence with known baryonic resonances, reinforcing conclusions previously drawn and bringing new light on the nature of some baryonic resonances...

Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology

parsing: static analysis of dynamically generated string output using LR-parsing technology Kyung-Goo Doh , Hyunha Kim, and David A. Schmidt ⋆⋆ 1 Hanyang University, Ansan, South Korea 2 Kansas State University, Manhattan, Kansas, USA Abstract. We combine LR(k)-parsing technology and data-flow analysis to analyze, in advance of execution, the documents generated dynamically by a program. Based ...

HTML Validation of Context-Free Languages

Gravity in Dynamically Generated Dimensions

A theory of gravity in d+1 dimensions is dynamically generated from a theory in d dimensions. As an application we show how N dynamically coupled gravity theories can reduce the effective Planck mass. PACS numbers: 11.10Kk, 04.50+h Typeset using REVTEX ∗Electronic address: [email protected] 1